Quine–McCluskey algorithm